Computer algebra - PDFSEARCH.IO - Document Search Engine

Computer algebra
Results: 2963

#	Item
531	1 Organizing time series in Matlab structures You will analyze your own time series in the course. The first steps are to select those series and to store them in Matlab’s internal format. The data will be stored as st Add to Reading List Source URL: www.ltrr.arizona.edu Language: English - Date: 2015-01-29 09:41:13 Numerical linear algebra Computer file formats Data file Delimiter-separated values ALGOL 68 Make Software Computing MATLAB
532	A localic theory of lower and upper integrals Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK March 30, 2009 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2009-03-30 13:41:15 Mathematics Valuation Dedekind cut Continuous function Construction of the real numbers Algebraic number field Abstract algebra Field theory Algebra
533	Issues of logic, algebra and topology in ontology Steven Vickers School of Computer Science, University of Birmingham, Birmingham, B15 2TT, UK. January 31, 2008 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2008-01-31 17:11:12 Model theory Formal languages Metalogic Predicate logic Functions and mappings Interpretation First-order logic Function Well-formed formula Logic Mathematics Mathematical logic
534	Local Learning to Improve Bag of Visual Words Model for Facial Expression Recognition Radu Tudor Ionescu Department of Computer Science, University of Bucharest, 14 Academiei Street, Bucharest, R Add to Reading List Source URL: deeplearning.net Language: English - Date: 2013-06-12 13:52:09 Computer vision Statistical classification Image processing Support vector machine K-nearest neighbor algorithm Pattern recognition Kernel methods Feature Object recognition Artificial intelligence Machine learning Algebra
535	Reasoning about Reliability and Cost using Decision Diagrams and Syntax Trees Tarik Hadzic and Helmut Simonis? Cork Constraint Computation Centre Department of Computer Science, University College Cork, Ireland {h.simoni Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2010-09-09 05:54:53 Boolean algebra Graphical models Materials science Reliability engineering Survival analysis Binary decision diagram Connectivity Reliability Directed acyclic graph Statistics Systems engineering Systems science
536	TMA4270 Multivariate Analysis H2008 Computer Exercise 4 Exercise report due Wednesday, November 26, 2008, 12hrs Instituttkontoret, 7.etg Sentralbygg 2, or to H.Rue or A.Ottavi STUDENTNR not NAME! Groupsize ≤ 2 Add to Reading List Source URL: www.math.ntnu.no Language: English - Date: 2008-11-09 10:06:17 Singular value decomposition Matrix theory Data analysis Covariance and correlation Eigenvalues and eigenvectors Eigenface Principal component analysis Matrix Covariance matrix Algebra Linear algebra Mathematics
537	Basic Logic, SMT solvers and nitely generated varieties of GBL-algebras Peter Jipsen Chapman University, Orange, California TACL 2013, July 29, Vanderbilt University Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:51:19 Algebraic logic Fuzzy logic Logic in computer science Algebraic structures Electronic design automation Satisfiability Modulo Theories MV-algebra Boolean satisfiability problem Propositional variable Mathematics Mathematical logic Logic
538	The computer algebra package Crack for solving over-determined systems of equations Thomas Wolf Department of Mathematics Brock University St.Catharines Add to Reading List Source URL: reduce-algebra.com Language: English - Date: 2008-12-30 11:46:13 Mathematical analysis Differential equations Dynamical systems Multivariable calculus Partial differential equation Computer algebra system Nonlinear system Simultaneous equations Polynomial Mathematics Elementary algebra Equations
539	PowerPoint template for scientific poster Add to Reading List Source URL: skelk.sdf-eu.org Language: English - Date: 2011-03-15 15:13:11 Genetic algorithms Abstract algebra Combinatorics Permutation Time complexity Mutation Computational complexity theory Algorithm NP-hard Theoretical computer science Applied mathematics Mathematics
540	DM818 - Parallel Computing, Weekly Notes, Week 38 Chapter 1 of \Parallel Computer Architecture: A Hardware/Software Approach" by Culler et al. can be found in the Blackboard system for additional reading on \Programmin Add to Reading List Source URL: www.imada.sdu.dk Language: English - Date: 2009-09-07 08:07:41 Numerical linear algebra Parallel computing Application programming interfaces OpenMP Thread Matrix multiplication Lis Software Computing Algebra

UPDATE